线性代数教材改革指导思想探析

论述线性代数教材改革的必要性及其指导思想,主张线性代数教材建设应以矩阵为主线,以教育部颁发的硕士研究生人学考试线性代数部分的大纲为纲,结合教学现代化的现状,强调几何与代数相结合,重视代数学思想方法的渗透,化抽象为具体,同时在教学中还要引入数学建模的思想．     

A relation-algebraic approach to simple games

Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool Rel View after a simple translation into the tool’s programming language. In order to demonstrate the visualization facilities of Rel View we consider an example of the Catalonian Parliament after the 2003 election.     

Forcing operators on MTL‐algebras

We study the forcing operators on MTL‐algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t ‐norm based logic (MTL). At logical level, they provide the notion of the forcing value of an MTL‐formula. We characterize the forcing operators in terms of some MTL‐algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL‐formula (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

C~*标准代数中效应的序列同构

主要借助于C~*标准算子代数中的有限秩算子对一般的效应元进行刻画.证明了C~*标准算子代数A的效应代数E(A)上的每个序列自同构和自同构ψ都具有形式ψ(A)=UAU~*,其中A∈E(A),U为酉算子或反酉算子.     

以幂零李代数R_n为幂零根基的可解李代数(英文)

In this paper we explicitly determine automorphism group of filiform Lie algebra Rn to find the indecomposable solvable Lie algebras with filiform Lie algebra Rn nilradicals.We also prove that the indecomposable solvable Lie algebras with filiform Rn nilradicals is complete.     

N(2,2,0)代数的稳定化子与同余分解

为了深入研究N(2,2,0)代数的代数结构,首先利用代数的推理方法进一步研究了N(2,2,0)代数的稳定化子,改进了以前学者的部分结果,然后利用稳定化子建立了一种同余关系,给出了N(2,2,0)代数的同余分解,证明了其商代数仍是N(2,2,0)代数,并获得了自然同态下一类逆像的代数结构和性质.     

Banach代数上的高阶Jordan-triple导子系的广义Hyers-Ulam-Rassias稳定性

针对Banach代数上的高阶Jordan—triple导子系,基于与函数方程有关的广义的Hyers—Ulam-Rassias稳定性的原理．采用线性算子论的方法,结合广义的Jensen等式,证明了Banach代数上与高阶导子系有关的函数方程具有广义的Hyers—Ulam-Rassias稳定性．证明结果表明该方法实用性强,...     

关于N（2，2，0）代数的中间幂等元

为了深入研究N（2,2,0）代数的代数结构,在N（2,2,0）代数中建立了中间幂等元的概念,讨论了它的基本性质,给出了中间幂等元关联的集合坞是（S,＊,△,0）的子代数的一个条件．证明了当U（2,2,0）代数中包含一个右零半群时,Mg是幂等元集E（S）的子集．并利用坞定义了一个等价关系．     

New bases of some Hecke algebras via Soergel bimodules

For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={Dw}_w∈W such that each Dw contains as a direct summand (or is equal to) the indecomposable Soergel bimodule Bw. When decategorified, we prove that D gives rise to a set {dw}_w∈W that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan–Lusztig basis and satisfies a positivity condition.     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.